<%@ page language="java" import="java.util.*" pageEncoding="UTF-8"%>

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">

<html>

  <head> 

    <title>文件下载</title>    

  </head>

  

  <body>

    <!--

        为简单起见，这里硬编码，实际应用中应该从数据库中获取文件

    信息，包括原始的文件名、文件描述信息、文件大小、下载时获取文

    件保存路径时的另存名（编程实现，实际应用中一般由随机数、日期

    等数字组成），等等。

       这个例子中没有实现中文文件名的下载，因为一般应用中，文件

    资源也不会以中文名保存在服务器上。

    -->

    <%

    String fileName="test.txt";

    //以点为分隔符分割文件名字符串并添加到向量中，以获得不带扩展名的文件名

    StringTokenizer st=new StringTokenizer(fileName,".");

    Vector<String> vector=new Vector<String>();

    while(st.hasMoreTokens())

        vector.add(st.nextToken());

       String showName=vector.get(0)+"下载示例";

    %>

      下载文件：<br/>

    <a href="/files/Files/download.do?fileName=<%= java.net.URLEncoder.encode(fileName,"utf-8")%>"><%=showName %></a>

  </body>

</html>

